ADADL® - Ada Design and Documentation Language
ADADL® is an Ada/PDL that can be used to design and document Ada programs. The ADADL processor analyzes both ADADL® pseudo-code and executable code to detect logic and syntax errors.
More than 25 reports are available including "pretty printed" output, object (set/use information) and type cross-reference, invocation trees, declaration structure, "with" hierarchy, generic utilization, interrupts and McCabe complexity. The ADADL® processor also works with DocGen® to automate Mil/DoD documentation and TestGen® to aid in developing test strategies and reviewing designs for each function.
Thomas Radi
President